package gek.uni.aspirant.ocl.parser.ocl2mptree;

import java.lang.reflect.Field;
import java.lang.reflect.Method;
import java.util.List;

import org.eclipse.ocl.AbstractEnvironment;
import org.eclipse.ocl.Environment;
import org.eclipse.ocl.EnvironmentFactory;
import org.eclipse.ocl.TypeResolver;
import org.eclipse.ocl.expressions.OCLExpression;
import org.eclipse.ocl.expressions.Variable;
import org.eclipse.ocl.types.OCLStandardLibrary;
import org.eclipse.ocl.utilities.OCLFactory;
import org.eclipse.ocl.utilities.UMLReflection;

public class Enviroment
    extends
    AbstractEnvironment<Package, Class, Method, Field, Object, Object, Object, Object, Object, Object, Class, Object> {

  @Override
  public Field defineAttribute(Class owner, Variable<Class, Object> variable,
      Object constraint) {
    // TODO Auto-generated method stub
    return null;
  }

  @Override
  public Method defineOperation(Class owner, String name, Class type,
      List<Variable<Class, Object>> params, Object constraint) {
    // TODO Auto-generated method stub
    return null;
  }

  @Override
  public Object getDefinition(Object feature) {
    // TODO Auto-generated method stub
    return null;
  }

  @Override
  public EnvironmentFactory<Package, Class, Method, Field, Object, Object, Object, Object, Object, Object, Class, Object> getFactory() {
    // TODO Auto-generated method stub
    return null;
  }

  @Override
  public OCLFactory getOCLFactory() {
    // TODO Auto-generated method stub
    return null;
  }

  @Override
  public OCLStandardLibrary<Class> getOCLStandardLibrary() {
    // TODO Auto-generated method stub
    return null;
  }

  @Override
  public List<Object> getStates(Class owner, List<String> pathPrefix) {
    // TODO Auto-generated method stub
    return null;
  }

  @Override
  public TypeResolver<Class, Method, Field> getTypeResolver() {
    // TODO Auto-generated method stub
    return null;
  }

  @Override
  public UMLReflection<Package, Class, Method, Field, Object, Object, Object, Object, Object, Object> getUMLReflection() {
    // TODO Auto-generated method stub
    return null;
  }

  @Override
  public boolean isInPostcondition(OCLExpression<Class> exp) {
    // TODO Auto-generated method stub
    return false;
  }

  @Override
  public Class lookupClassifier(List<String> names) {
    // TODO Auto-generated method stub
    return null;
  }

  @Override
  public Package lookupPackage(List<String> names) {
    // TODO Auto-generated method stub
    return null;
  }

  @Override
  public void setParent(
      Environment<Package, Class, Method, Field, Object, Object, Object, Object, Object, Object, Class, Object> env) {
    // TODO Auto-generated method stub
    
  }

  @Override
  public void undefine(Object feature) {
    // TODO Auto-generated method stub
    
  }

}
